Remove UserTypes, -Consts, and -Fns in favor of their Package equivalents #5356

StachuDotNet · 2024-04-21T05:45:37Z

removes
- FQTypeName.Package, UserType
- FQConstantName.Package, UserConstant
- FQFnName.Package, UserFn
- the ability to store those^ in our SQL DB
anywhere where those things were used, the Package equivalents are now used
as such, the "Program" type in RuntimeTypes became a lot thinner
tidies both F# and Dark NameResolvers accordingly
backfills some Dark WrittenTypesToDark work, along with some ProgramTypes pretty-printing
tidies Dark Builtin.debug to behave more like the debuG we have in F#
renames SourceRange to Range in a few places, as I noticed some tests were failing

This is towards a larger effort in Package Manager work.

The next step is to have PT and RT type/const/fn references work by-hash rather than by-name, forcing name-resolution to happen always at parse-time.
After that, we can do a more notable PM refactor, following the footsteps of DONOTMERGE: sketching PM and PM Pre-work #5353 and experiment: support VS Code TreeView with lang. server #5345

StachuDotNet · 2024-04-26T17:36:17Z

note to self: remember to test that the CLI is still working alright

backend/src/LibExecution/ProgramTypes.fs

backend/testfiles/execution/stdlib/parser.dark

backend/tests/TestUtils/TestUtils.fs

backend/tests/Tests/DvalRepr.Tests.fs

scripts/build/compile

StachuDotNet · 2024-04-29T02:57:13Z

the TODOs outlined above are the only remaining work here - planning on wrapping this up sometime tomorrow

StachuDotNet force-pushed the remove-user-types-consts-and-fns branch 8 times, most recently from b9fd49e to ea5e496 Compare April 26, 2024 16:37

StachuDotNet changed the title ~~wip: remove user types, consts, and fns~~ Remove UserTypes, -Consts, and -Fns in favor of their Package equivalents Apr 26, 2024

StachuDotNet force-pushed the remove-user-types-consts-and-fns branch from ea5e496 to 3a2075c Compare April 26, 2024 17:51